val q: X => U[N]